Optimal. Leaf size=77 \[ \frac {x}{13 a \left (a+b x^4\right )^{13/4}}+\frac {4 x}{39 a^2 \left (a+b x^4\right )^{9/4}}+\frac {32 x}{195 a^3 \left (a+b x^4\right )^{5/4}}+\frac {128 x}{195 a^4 \sqrt [4]{a+b x^4}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 77, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 2, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {198, 197}
\begin {gather*} \frac {128 x}{195 a^4 \sqrt [4]{a+b x^4}}+\frac {32 x}{195 a^3 \left (a+b x^4\right )^{5/4}}+\frac {4 x}{39 a^2 \left (a+b x^4\right )^{9/4}}+\frac {x}{13 a \left (a+b x^4\right )^{13/4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 197
Rule 198
Rubi steps
\begin {align*} \int \frac {1}{\left (a+b x^4\right )^{17/4}} \, dx &=\frac {x}{13 a \left (a+b x^4\right )^{13/4}}+\frac {12 \int \frac {1}{\left (a+b x^4\right )^{13/4}} \, dx}{13 a}\\ &=\frac {x}{13 a \left (a+b x^4\right )^{13/4}}+\frac {4 x}{39 a^2 \left (a+b x^4\right )^{9/4}}+\frac {32 \int \frac {1}{\left (a+b x^4\right )^{9/4}} \, dx}{39 a^2}\\ &=\frac {x}{13 a \left (a+b x^4\right )^{13/4}}+\frac {4 x}{39 a^2 \left (a+b x^4\right )^{9/4}}+\frac {32 x}{195 a^3 \left (a+b x^4\right )^{5/4}}+\frac {128 \int \frac {1}{\left (a+b x^4\right )^{5/4}} \, dx}{195 a^3}\\ &=\frac {x}{13 a \left (a+b x^4\right )^{13/4}}+\frac {4 x}{39 a^2 \left (a+b x^4\right )^{9/4}}+\frac {32 x}{195 a^3 \left (a+b x^4\right )^{5/4}}+\frac {128 x}{195 a^4 \sqrt [4]{a+b x^4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.54, size = 51, normalized size = 0.66 \begin {gather*} \frac {195 a^3 x+468 a^2 b x^5+416 a b^2 x^9+128 b^3 x^{13}}{195 a^4 \left (a+b x^4\right )^{13/4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.16, size = 48, normalized size = 0.62
method | result | size |
gosper | \(\frac {x \left (128 b^{3} x^{12}+416 a \,b^{2} x^{8}+468 a^{2} b \,x^{4}+195 a^{3}\right )}{195 \left (b \,x^{4}+a \right )^{\frac {13}{4}} a^{4}}\) | \(48\) |
trager | \(\frac {x \left (128 b^{3} x^{12}+416 a \,b^{2} x^{8}+468 a^{2} b \,x^{4}+195 a^{3}\right )}{195 \left (b \,x^{4}+a \right )^{\frac {13}{4}} a^{4}}\) | \(48\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 67, normalized size = 0.87 \begin {gather*} -\frac {{\left (15 \, b^{3} - \frac {65 \, {\left (b x^{4} + a\right )} b^{2}}{x^{4}} + \frac {117 \, {\left (b x^{4} + a\right )}^{2} b}{x^{8}} - \frac {195 \, {\left (b x^{4} + a\right )}^{3}}{x^{12}}\right )} x^{13}}{195 \, {\left (b x^{4} + a\right )}^{\frac {13}{4}} a^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.40, size = 91, normalized size = 1.18 \begin {gather*} \frac {{\left (128 \, b^{3} x^{13} + 416 \, a b^{2} x^{9} + 468 \, a^{2} b x^{5} + 195 \, a^{3} x\right )} {\left (b x^{4} + a\right )}^{\frac {3}{4}}}{195 \, {\left (a^{4} b^{4} x^{16} + 4 \, a^{5} b^{3} x^{12} + 6 \, a^{6} b^{2} x^{8} + 4 \, a^{7} b x^{4} + a^{8}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1550 vs.
\(2 (70) = 140\).
time = 2.80, size = 1550, normalized size = 20.13 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.08, size = 61, normalized size = 0.79 \begin {gather*} \frac {128\,x}{195\,a^4\,{\left (b\,x^4+a\right )}^{1/4}}+\frac {32\,x}{195\,a^3\,{\left (b\,x^4+a\right )}^{5/4}}+\frac {4\,x}{39\,a^2\,{\left (b\,x^4+a\right )}^{9/4}}+\frac {x}{13\,a\,{\left (b\,x^4+a\right )}^{13/4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________